<?php $hasExtensionModule = isset($hasExtensionModule) ? $hasExtensionModule : false;?>